package org.xteam.sled.model;

import org.xteam.sled.semantic.exp.IExpRewriter;

public interface ISequent {

	int width();
	
	boolean isLabel();
	
	boolean hasInputOrLabels();
	
	boolean isContradictory();
	
	ISequent merge(ISequent other);

	ISequent subs(IExpRewriter subs);

}
